Comparing Vocabularies for Representing Geographical Features and Their Geometry Ghislain Auguste Atemezing, Rapha¨el Troncy EURECOM, Sophia Antipolis, France, {auguste.atemezing, raphael.troncy}@eurecom.fr

Source URL: www.strabon.di.uoa.gr

Lacroix-Lintner Dominique Doctorante Histoire contemporaine Université de Nice Sophia-Antipolis Thèse en préparation : « La peinture de marine comme vecteur de l’acculturation maritime

Source URL: cmmc-nice.fr

Honeybot, Your Man in the Middle for Automated Social Engineering Tobias Lauinger, Veikko Pankakoski, Davide Balzarotti, Engin Kirda EURECOM Sophia-Antipolis, France {lauinger, pankakos, balzarot, kirda}@eurecom.fr

Source URL: seclab.ccs.neu.edu

Formally Certifying the Security of Digital Signature Schemes Santiago Zanella B´eguelin Benjamin Gr´egoire INRIA Sophia Antipolis - M´editerran´ee Microsoft Research - INRIA Joint Centre {Santiago.Zanella,Benjamin.G

Source URL: software.imdea.org

• Cryptography
• Error detection and correction
• Mathematics
• Digital signature
• Hash function
• Coding theory
• Public-key cryptography
• Substitution
• Fuzzy extractor

Formalisation and Verification of the GlobalPlatform Card Specification Using the B Method Santiago Zanella B´eguelin INRIA Sophia Antipolis, 2004 Route des Lucioles, 06902 Sophia Antipolis, France

Source URL: software.imdea.org

• Smart cards
• Computing
• Cryptography
• Security engineering
• Java Card
• GlobalPlatform
• Subscriber identity module
• Credit card
• Card reader
• Formal methods
• KeY
• Predicate transformer semantics

I3S Laboratory « Informatique, signaux et systèmes de Sophia Antipolis » "Computer Science, Signal processing and Systems / Sophia Antipolis" UMR 7271 – UNS / CNRS Joint Research Unit between UNS & CNRS

Source URL: leat.unice.fr

Curriculum vitæ Jean-Charles Régin Université Nice-Sophia Antipolis (UNS), I3S, CNRS 2000, route des Lucioles - Les Algorithmes - bât. Euclide B BPSophia Antipolis Cedex - France Tel: (+

Source URL: www.constraint-programming.com

Reasoning about Web Applications: An Operational Semantics for Hop G´erard Boudol and Zhengqin Luo and Tamara Rezk and Manuel Serrano INRIA Sophia Antipolis-Mediterran´ee We propose a small-step operational semantics

Source URL: www-sop.inria.fr

All Your Contacts Are Belong to Us: Automated Identity Theft Attacks on Social Networks Leyla Bilge, Thorsten Strufe, Davide Balzarotti, Engin Kirda EURECOM Sophia Antipolis, France

Source URL: seclab.ccs.neu.edu

FFP12 2011 UdineNovember 2011 GRAVITATIONAL MODEL OF THE THREE ELEMENTS THEORY Frederic Lassiaille, PolytechSophia, University of Nice Sophia-Antipolis

Source URL: www.fisica.uniud.it